#ifndef DEV_TIMER_H
#define DEV_TIMER_H
#include "stdint.h"
void timer_init();
void mtime_sleep(uint32_t m_seconds);
#endif // DEV_TIMER_H
